Furbach, Ulrich: search on Z-Library

Journal:

Informatik-Spektrum

Year:

2011

Language:

german

File:

PDF, 143 KB

german, 2011

[Lecture Notes in Computer Science] KI 2005: Advances in Artificial Intelligence Volume 3698 ||

Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg

Year:

2005

Language:

english

File:

PDF, 6.86 MB

english, 2005

Computing answers with model elimination

Journal:

Artificial Intelligence

Year:

1997

Language:

english

File:

PDF, 2.84 MB

english, 1997

AI—A multiple book review

Journal:

Artificial Intelligence

Year:

2003

Language:

english

File:

PDF, 77 KB

english, 2003

Turing und Künstliche Intelligenz

Furbach, Ulrich, Shankar, Natarajan

Journal:

Informatik-Spektrum

Year:

2012

Language:

german

File:

PDF, 199 KB

german, 2012

[Lecture Notes in Computer Science] Automated Reasoning Volume 4130 || FaCT++ Description Logic Reasoner: System Description

Year:

2006

Language:

english

File:

PDF, 255 KB

english, 2006

Künstliche Intelligenz aus ungewohnten Perspektiven (Ein Rundgang mit Bergson, Proust und Nabokov) ||

Barthelmeß, Ulrike, Furbach, Ulrich

Year:

2019

Language:

german

File:

PDF, 2.75 MB

german, 2019

Cognitive Reasoning: A Personal View

Furbach, Ulrich, Hölldobler, Steffen, Ragni, Marco, Schon, Claudia, Stolzenburg, Frieder

Journal:

Bibel, Wolfgang, Furbach, Ulrich

Year:

2019

Language:

english

File:

PDF, 808 KB

english, 2019

Formation of a Research Discipline Artificial Intelligence and Intellectics at the Technical University of Munich

Journal:

Peter Baumgartner, Ulrich Furbach

Year:

2019

Language:

english

File:

PDF, 405 KB

english, 2019

Consolution as a Framework for Comparing Calculi

Journal:

Journal of Symbolic Computation

Year:

1993

File:

PDF, 994 KB

1993

Formal specification methods for reactive systems

Journal of Systems and Software

Journal:

Year:

1993

Language:

english

File:

PDF, 1.32 MB

english, 1993

Horn equational theories and paramodulation

Ulrich Furbach, Steffen Hölldobler, Joachim Schreiber

Journal:

Journal of Automated Reasoning

Year:

1989

Language:

english

File:

PDF, 1.50 MB

english, 1989

Model elimination without contrapositives and its application to PTTP

Peter Baumgartner, Ulrich Furbach

Journal:

Journal of Automated Reasoning

Year:

1994

Language:

english

File:

PDF, 1.48 MB

english, 1994

IJCAR Preface

Journal of Automated Reasoning

Journal:

Year:

2008

Language:

english

File:

PDF, 110 KB

english, 2008

Logic-Based Question Answering

Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer

Journal:

Hans-Jürgen Bürckert, Ulrich Furbach

Year:

2010

Language:

english

File:

PDF, 544 KB

english, 2010

Vom Schmuddelkind zum Fachbereich

Journal:

Peter Baumgartner, Ulrich Furbach

Year:

2011

Language:

german

File:

PDF, 191 KB

german, 2011

Automated Deduction Techniques for the Management of Personalized Documents

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2003

Language:

english

File:

PDF, 446 KB

english, 2003

Neue Medien? – Neue Uni!

Journal:

Year:

2012

Language:

german

File:

PDF, 128 KB

german, 2012

[Lecture Notes in Computer Science] KI 2005: Advances in Artificial Intelligence Volume 3698 || Heuristic-Based Laser Scan Matching for Outdoor 6D SLAM

Dix, Jürgen, del Cerro, Luís Fariñas, Furbach, Ulrich

Year:

2005

Language:

english

File:

PDF, 2.11 MB

english, 2005

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 1489 ||

Year:

1998

Language:

english

File:

PDF, 3.86 MB

english, 1998

[Lecture Notes in Computer Science] KI 2005: Advances in Artificial Intelligence Volume 3698 || On the Road to High-Quality POS-Tagging

Dix, Jürgen, del Cerro, Luís Fariñas, Furbach, Ulrich

Year:

2005

Language:

english

File:

PDF, 251 KB

english, 2005

[Lecture Notes in Computer Science] Computational Logic — CL 2000 Volume 1861 || A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases

Lloyd, John, Dahl, Veronica, Furbach, Ulrich, Kerber, Manfred, Lau, Kung-Kiu, Palamidessi, Catuscia, Pereira, Luís Moniz, Sagiv, Yehoshua, Stuckey, Peter J.

Year:

2000

Language:

english

File:

PDF, 205 KB

english, 2000

[Lecture Notes in Computer Science] Computational Logic — CL 2000 Volume 1861 || Mining Minimal Non-redundant Association Rules Using Frequent Closed Itemsets

Lloyd, John, Dahl, Veronica, Furbach, Ulrich, Kerber, Manfred, Lau, Kung-Kiu, Palamidessi, Catuscia, Pereira, Luís Moniz, Sagiv, Yehoshua, Stuckey, Peter J.

Year:

2000

Language:

english

File:

PDF, 197 KB

english, 2000

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 1489 || A Mechanised Proof System for Relation Algebra Using Display Logic

Year:

1998

Language:

english

File:

PDF, 226 KB

english, 1998

[Lecture Notes in Computer Science] KI 2005: Advances in Artificial Intelligence Volume 3698 || Metaheuristics for Late Work Minimization in Two-Machine Flow Shop with Common Due Date

Furbach, Ulrich, Shankar, Natarajan

Year:

2005

Language:

english

File:

PDF, 273 KB

english, 2005

[Lecture Notes in Computer Science] Automated Reasoning Volume 4130 || Specifying and Reasoning About Dynamic Access-Control Policies

Year:

2006

Language:

english

File:

PDF, 276 KB

english, 2006

[Lecture Notes in Computer Science] Logic Programming And Nonmonotonic Reasoning Volume 1265 || Strong and weak constraints in disjunctive datalog

Dix, Jürgen, Furbach, Ulrich, Nerode, Anil

Year:

1997

Language:

english

File:

PDF, 1.08 MB

english, 1997

[Lecture Notes in Computer Science] Logic Programming And Nonmonotonic Reasoning Volume 1265 || Smodels — an implementation of the stable model and well-founded semantics for normal logic programs

Dix, Jürgen, Furbach, Ulrich, Nerode, Anil

Year:

1997

Language:

english

File:

PDF, 620 KB

english, 1997

[Lecture Notes in Computer Science] KI 2005: Advances in Artificial Intelligence Volume 3698 || Applying Constrained Linear Regression Models to Predict Interval-Valued Data

Furbach, Ulrich, Schon, Claudia, Stolzenburg, Frieder, Weis, Karl-Heinz, Wirth, Claus-Peter

Year:

2005

Language:

english

File:

PDF, 275 KB

english, 2005

[Lecture Notes in Computer Science] Computational Logic — CL 2000 Volume 1861 ||

Lloyd, John, Dahl, Veronica, Furbach, Ulrich, Kerber, Manfred, Lau, Kung-Kiu, Palamidessi, Catuscia, Pereira, Luís Moniz, Sagiv, Yehoshua, Stuckey, Peter J.

Year:

2000

Language:

english

File:

PDF, 15.47 MB

english, 2000

[Lecture Notes in Computer Science] Computational Logic — CL 2000 Volume 1861 || A CLP Framework for Computing Structural Test Data

Lloyd, John, Dahl, Veronica, Furbach, Ulrich, Kerber, Manfred, Lau, Kung-Kiu, Palamidessi, Catuscia, Pereira, Luís Moniz, Sagiv, Yehoshua, Stuckey, Peter J.

Year:

2000

Language:

english

File:

PDF, 216 KB

english, 2000

[Lecture Notes in Computer Science] Computational Logic — CL 2000 Volume 1861 || A System for Tabled Constraint Logic Programming

Lloyd, John, Dahl, Veronica, Furbach, Ulrich, Kerber, Manfred, Lau, Kung-Kiu, Palamidessi, Catuscia, Pereira, Luís Moniz, Sagiv, Yehoshua, Stuckey, Peter J.

Year:

2000

Language:

english

File:

PDF, 222 KB

english, 2000

The RatioLog Project: Rational Extensions of Logical Reasoning

Journal:

Barthelmeß, Ulrike, Furbach, Ulrich

Year:

2015

Language:

english

File:

PDF, 885 KB

english, 2015

Künstliche Intelligenz aus ungewohnten Perspektiven (Ein Rundgang mit Bergson, Proust und Nabokov) || Mnemotechnik

Year:

2019

Language:

german

File:

PDF, 143 KB

german, 2019

Künstliche Intelligenz aus ungewohnten Perspektiven (Ein Rundgang mit Bergson, Proust und Nabokov) || Künstliche Intelligenz

Barthelmeß, Ulrike, Furbach, Ulrich

Year:

2019

Language:

german

File:

PDF, 238 KB

german, 2019

Cognitive Reasoning: A Personal View

Furbach, Ulrich, Hölldobler, Steffen, Ragni, Marco, Schon, Claudia, Stolzenburg, Frieder

Journal:

Year:

2019

File:

PDF, 808 KB

2019

Interview with Professor Hector Levesque, University of Toronto

Journal: